X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·3h
⚡Dependent Rust
What would Monads in JavaScript look like?
playfulprogramming.com·1d
🧬Functional Programming
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·2d
🔗Functional Compilers
Constructor Best Practices in Rust
blog.cuongle.dev·16h·
Discuss: Hacker News
🔒Type Safety
GHC Developer Blog: GHC 9.14.1-alpha1 is now available
haskell.org·1d
🔗Functional Compilers
Monad Annoyance
macwright.com·33m·
Discuss: Hacker News
🧬Functional Programming
Lisp in 99 Lines of C With TinyLisp
hackaday.com·5h
🔗Lisp
Functional Programming HOWTO
docs.python.org·2d·
Discuss: Lobsters
🔗Lisp
Optimizing Memory Allocation in Go: Small and Large Objects Made Simple
dev.to·6h·
Discuss: DEV
🧠Memory Allocators
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·16h
📞Session Types
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·1d
🔗Lisp
Ordered Maps and JNodes
blog.saxonica.com·22h
🔄Burrows-Wheeler
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
📞Session Types
Binary Tree BFS: Zigzag Order
mmhaskell.com·1d
🔗Topological Sorting
The long season of langdev
blog.fogus.me·18h
🔄Language Evolution
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·1d
🔗Functional Compilers
Unification
eli.thegreenplace.net·2d·
Discuss: Hacker News
🤝Unification Algorithms
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·1d
🔲Proof Irrelevance